extern void file_index();
extern void random_list();

